Tradeoffs of Highly-Expressive Types
jnkr.techยท6hยท
Discuss: Hacker News
๐Ÿ”’Type Safety
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.toยท12hยท
Discuss: DEV
๐Ÿ“ABNF Parsing
Bootstrapping a Forth for Art
tia.mat.brยท3hยท
Discuss: Lobsters, Hacker News
๐Ÿ”—Concatenative Programming
A type system for RCL (2024)
ruudvanasseldonk.comยท7hยท
Discuss: Lobsters, Hacker News
๐Ÿ’งLiquid Types
Quirks of Common Lisp Types
fosskers.caยท1hยท
Discuss: Lobsters, Hacker News
๐Ÿง Lisp Dialects
TypeScript Cookbook โ€ข Stefan Baumgartner & Peter Krรถner
youtube.comยท4d
๐Ÿ”คType Theory
Micro DSLs for scenario tests with Rust macros
dystroy.orgยท2h
๐Ÿฆ€Rust Macros
How to Avoid Fighting Rust Borrow Checker
qouteall.funยท1hยท
Discuss: Hacker News
๐Ÿฆ€Rust Verification
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.ioยท10h
๐Ÿ”„Language Evolution
Whodunit: LLM Murder Mysteries
blog.apartment304.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฎProof Search
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.comยท1d
๐ŸŽฏPerformance Proofs
Swรกngaฬฑlyiatwuki-WikiWoordenboek Wiktionary Editing Projects
diff.wikimedia.orgยท19h
๐Ÿ“œManuscript TEI
Embedding MicroHs
thma.github.ioยท1d
๐Ÿ”—Functional Compilers
Answering some questions about Baba Yaga
eli.liยท8hยท
Discuss: Hacker News
๐ŸŽฏDependent Types
LLMs running locally
markjgsmith.comยท4h
๐ŸŒ€Brotli Internals
Mojo Roadmap Document
docs.modular.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
Add a privacy layer to your LLM app as AI companies' privacy policies evolve
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”BitFunnel
I learned to code in JavaScript and now I feel that Iโ€™ve missed out on a lot of fundamentals
reddit.comยท6hยท
Discuss: r/golang
๐Ÿ”—Concatenative Programming
Codeminer42 Dev Weekly #76
blog.codeminer42.comยท1d
๐Ÿ”„Language Evolution
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.comยท2d
๐Ÿ”งBinary Parsers